$\forall$$A$, $B$, $C$:Realizer. $A$ $\subseteq$ $B$ $\Rightarrow$ $A$ $\subseteq$ $B$ $\oplus$ $C$